1. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
Author: E.M. Clarke, R.P. Kurshan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
531
